<!DOCTYPE html>
<html>
<head>
    <title>形式验证报告 - </title>
    <style>
        .pass { color: green; }
        .fail { color: red; }
    </style>
</head>
<body>
    <h1>验证结果: <span class="pass">
        通过
    </span></h1>
    <p>时间: 2025-05-28 20:13:11</p>
    
    <h2>覆盖率概览</h2>
    <ul>
        
        <li>toggle: 95.0%</li>
        
        <li>fsm: 80.0%</li>
        
    </ul>
    
    
</body>
</html>